feat(api): tren-f — TENANT-001 T3 + T4a: tenant sınırı efektif bayrağı ve WS kabuk borusu - #96

…inal yüzeylerinde

Kalan iki merkezi NULL-tenant sitesi kapatıldı: /api/plan ingress'i ve
/api/terminal/* (kabuk erişimi taşıdığı için tenant sınırının en duyarlı
yüzeyi). İkisi de T2'nin resolveApiCallerTenant kararına bağlandı — strict
AÇIK: tenant-claim'siz çağıran 403; strict KAPALI: v1 bayt-değişmez.
Doğrulama notu: patch'lenen ilk site 410 ile emekli /api/start DEĞİL, canlı
/api/plan uçudur (kontrol edildi — ölü koda kablo çekilmedi).
Kanıt: 2 yeni resolver-kontrat pini (strict/permissive/tenant'lı + bozuk-config
fail-soft), api sınıfı yeşil, tsc temiz.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…consumed

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…otalarıyla sınırlı

T4 ön-kontrolü iki gerçeği ortaya çıkardı; ikisi de T3'ün ifadesini daraltıyor:

1. WS upgrade HTTP handler'ından geçmiyor. attachTerminalGateway server'a
   'upgrade' dinleyicisi olarak takılıyor, yani T3'te gated ettiğim
   /api/terminal/* HTTP rotasının dışında. Token-only auth'ta authTenant
   'local' kalıyor → HTTP'de 403 alan çağıran WS üzerinden kabuk alabilir.
2. Senkron readStrictTenantIsolation yalnız proje config'ini okuyor;
   loadConfig defaults→global→project zinciri kuruyor. Global katmanda
   strict açan operatörde T2/T3'ün bağladığı 6 site sessizce permissive.
   Bu, 'raporlar-ama-kapatmaz kontrol' sınıfının ÜÇÜNCÜ örneği.

Satır 4020 hâlâ VERIFY — hiçbir DONE iddiası şişirilmedi; yine de ifadeyi
main'e düzeltilmemiş sokmamak için kapsam cümlesi daraltıldı ve kalan iş
T4a/T4b/T4c olarak adlandırıldı.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…rade tenant reddi

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…t reddi

İki yapısal açık kapatıldı; ikisi de T4 ön-kontrolünde ölçümle bulundu.

1. Efektif bayrak. Senkron okuyucu yalnız proje config'ini görüyordu, oysa
   loadConfig defaults→global→project zinciri kuruyor. Global katmanda
   strict açan operatörde T2/T3'ün bağladığı altı site sessizce permissive
   kalıyordu — 'raporlar-ama-kapatmaz kontrol' sınıfının üçüncü örneği.
   Okuyucu artık aynı zinciri yürüyor, yakın katman kazanıyor; bozuk bir
   katman 'görüş bildirmedi' sayılır, sessizce sertleştirmez de gevşetmez de.
   Global yol çözümü saf yol-modülüne indirildi ve eski yerinden yeniden
   export edildi: API katmanı artık toptan mock'lanan ağır config modülünü
   import etmiyor (aksi halde o modülü mock'layan beş test kırılıyordu),
   davranış ve mevcut importer'lar değişmedi.

2. WS kabuk borusu. attachTerminalGateway server'a 'upgrade' dinleyicisi
   olarak takılı, yani T3'te kapatılan /api/terminal/* HTTP rotalarının
   dışında. Strict modda tenant'ı çözülemeyen çağıran artık upgrade'de
   typed 4403 ile reddediliyor (HTTP 403'ün WS karşılığı) ve bridge()'e
   hiç ulaşılmıyor. Strict kapalıyken her iki yol da bayt-değişmez.

Kanıt: gerçek-sunucu koşusu (createHttpServer + gerçek PTY backend + gerçek
ws istemcisi, mock yok) strict AÇIK'ta 4403 kapanışını, strict KAPALI'da açık
kalan soketi gösteriyor. Harness ilk sürümde yanlış negatif verdi: gateway
el-sıkışmayı tamamlayıp sonra kapatıyor (mevcut 4401 yolu da öyle), bu yüzden
prob 'open' ile 'sunucu kapattı mı' ayrımını yapacak şekilde düzeltildi.
Ek 4 birim pini + 3 katman-öncelik pini; api+core: 622 dosya / 10176 test yeşil.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

…azelendi

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Gerçek-sunucu pini yalnız '4403 ile kapatıldı'yı doğruluyordu. El-sıkışma
tamamlandığı için bu, soketin kısa süre köprülenip sonra kapandığı bir
dünyayla da uyumluydu — kabuk borusunda 'geç reddetme' ile 'hiç köprülememe'
farklı güvenlik özellikleridir.

Pin artık iki şeyi daha doğruluyor: reddedilen upgrade'den sonra HİÇ oturum
yaratılmıyor ve el-sıkışma biter bitmez gönderilen create çerçevesine HİÇ
yanıt dönmüyor. İkisi de yeşil → reddetme geç değil.

Ayrıca permissive durum gerçekten PTY açtığından (kanıtın anlamı bu),
afterEach oturumları açıkça öldürüyor: close() yalnız idle olanları topluyor,
sızan kabuk koşu sonrası ayakta kalırdı.

Kanıt cümlesindeki binary şerhi de netleştirildi: build atlanmadı, host
guard'ı tarafından reddedildi — owner'ın build yetkilendirmesi maddeyi kapatır.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>